Prolog: Jak odebrat každý druhý prvek seznamu

To je do značné míry Landeiho odpověď ve specifické syntaxi Prologu:
r ([], []).
r ([X], [X]).
r ([X, _ | Xs], [X | Ys]): - r (Xs, Ys).
Druhý predikát není vyžadován.
|
Alternativní řešení pomocí foldl / 4:
fold_step (Item, true: [Item | Tail], false: Tail).
fold_step (_Item, false: Tail, true: Tail).
liché (seznam, liché): -
foldl (fold_step, List, true: Odd, _: []).
Používání:
? - liché ([1, 2, 3, 4, 5, 6, 7], liché).
Zvláštní = [1, 3, 5, 7]
Myšlenkou je projít seznamem při zachování příznaku „lichý / sudý“ a překlopení jeho hodnoty (false -> true, true -> false) na každý prvek. Seznam také postupně sestavujeme připojením prvků, které mají příznak „lichý / sudý“ rovný hodnotě true, a přeskakováním ostatních.
|
Tato skvělá odpověď od uživatele @ code_x386 využívá seznamy rozdílů a foldl / 4.
Použijme pouze jednu klauzuli fold_step / 3 a vytvořme relaci obecnější, například:
fold_step (X, [X | Xs] + Ys, Ys + Xs).
list_odds_evens (Seznam, Kurzy, Evens): -
foldl (fold_step, List, Kurzy + Evens, [] + []).
Ukázkové dotazy:
? - list_odds_evens ([a, b, c, d, e, f], Kurzy, Evens).
Evens = [b, d, f], šance = [a, c, e]
? - list_odds_evens ([a, b, c, d, e, f, g], Kurzy, Evens).
Evens = [b, d, f], šance = [a, c, e, g]
Upravit
Proč nepoužívat o jednu klauzuli méně a odstranit predikát fold_step / 3?
lambda na záchranu!
: - use_module (knihovna (lambda)).
list_odds_evens (Seznam, Kurzy, Evens): -
foldl (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ true, List, Kurzy + Evens, [] + []).
|
Další možností je použít DCG, které jsou obvykle užitečné při popisu seznamů:
list_oddindices (L, O): -
fráze (oddindices (L), O). % seznam O je popsán lichými indexy // 1
oddindices ([]) ->%, pokud je L prázdný
[]. % O je také prázdné
oddindices ([X]) ->%, pokud L má pouze jeden prvek
[X]. % je to v O
oddindices ([O, _E | OEs]) ->%, pokud se hlava L skládá z alespoň dvou prvků
[O],% první je v O
zvláštní index (OE). % stejné platí pro ocas
To je určitě méně elegantní než řešení využívající foldl / 4, ale kód je velmi snadno čitelný, přesto řeší úkol popsaný OP a funguje oběma způsoby:
? - list_oddindices ([1,2,3,4,5,6,7], O).
O = [1, 3, 5, 7];
Nepravdivé.
? - list_oddindices (L, [1,3,5,7]).
L = [1, _G4412, 3, _G4418, 5, _G4424, 7];
L = [1, _G4412, 3, _G4418, 5, _G4424, 7, _G4430];
Nepravdivé.
|
Nemám zde žádný Prolog, který bych to vyzkoušel, a trochu jsem zrezivěl, ale mělo by to být v duchu
r ([]): - [].
r ([X]): - [X].
r ([X, Y | Z]): - R = r (Z), [X | R].
[Upravit]
Pad má samozřejmě pravdu. Moje řešení by fungovalo ve funkčních jazycích, jako jsou Haskell nebo Erlang:
--Haskell
r [] = []
r [x] = [x]
r (x: _: xs) = x: (r xs)
V Prologu musíte „natáhnout“ pravou stranu do seznamu argumentů, abyste spustili sjednocení.
|
Tvoje odpověď
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("snippets", function () {
StackExchange.snippets.init ();
});
});
}, „code-snippets“);
StackExchange.ready (funkce () {
var channelOptions = {
tagy: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Po výstřižcích musíte vypálit editor, pokud jsou úryvky povoleny
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets", function () {
createEditor ();
});
}
else {
createEditor ();
}
});
funkce createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46,2665 7,94324 47,1084 7,58816C47.4091 7,46349 47,7169 7,36433 48,0099 7,26993C48,9099 6,97977 49,672 6,73443 49,672 5,93063C49,672 5,22043 48,9832 4,61182 48,1414 4,61182C47,4335 4,61182 46,7256 4,91628 4,91650 4,416 43,1481 6,59048V11.9512C43.1481 13,2535 43,6264 13,8962 44,6595 13,8962C45,6924 13,8962 46,1709 13,2535 46,1709 11,9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10,1419432,144,14,144,14,144,44 41,5985 12,6954 41,5985 10,1419V6,59049C41,5985 5,28821 41,1394 4,66232 40,1061 4,66232C39,0732 4,66232 38,5948 5,2881 38,5948 6,59049V9,60062C38,5948 10,8521 38,2696 11,5455 37,0451 11,5455C35,535 521 35,4954 960062V6.59049C35.4954 5,28821 35,0173 4,66232 34,0034 4,66232C32,9703 4,66232 32,492 5,28821 32,492 6,59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-pravidlo = \ = \ "M25.6622 17.6335C27.8049 17.6335 29.373916,9402 30,2537 15,6379C30,8468 14,7755 30,9615 13,5579 30,9615 11,9512V6,59049C30.9615 5,2881 30,4833 4,66231 29,4502 4,66231C28,9913 4,66231 28,4555 4,94978 28,1109 5,50789C27,499 4,865 33 26,735 21,713 21,133 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.1256 12.8854 28.1301 12.9342 28.1301 12.983C28.1301 14.4373 27.2502 15.2321 25.22 212,21 14,5218C21,7977 14,5218 21,2429 15,0123 21,2429 15,6887C21.2429 16,7375 22,9072 17,6335 25,6622 17,6335ZM24.1317 9,27932C24.1317 7,94324 24,9928 7,09766 26,1024 7,09766C27.2119 7,09766 28,0918 7,93232 28,01 18,1118 26,11 11,26 10,6491 24,1317 9,27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13,8962 19,8079 13,2535 19,8079 11,9512V8.12928C19.8079 5,82936 18,4879 4,62866 16,4027 4,62866C15,1594 4,62866 14,279 4,98375 13,3609 5,88013C12,653 5,05154 11,6581 4,62866 10,3573 4,62866C9,34336 4,62866 7,147 7,50 7,47 5,50 4,66232 5 00066 5,28821 5 00066 6,59049 V11.9512C5.00066 13,2535 5,47873 13,8962 6,51203 13,8962C7,54479 13,8962 8,0232 13,2535 8,0232 11,9512V8,90741C8,0232 7,58817 8,44431 6,91179 9,53458 6,9117910,88 10,1010 8,10 10,1010 13,8962C13,4375 13,8962 13,9157 13,2535 13,9157 11,9512V8,90741C13,9157 7,58817 14,3365 6,91179 15,4269 6,91179C16.4027 6,91179 16,8045 7,58817 16,8045 8,94108V11.9512Z \ "/ \ u003e \ u163,3" 4,66232 1,82471 4,66232C0,791758 4,66232 0,313354 5,28821 0,313354 6,59049V11.9512C0.313354 13,2535 0,791758 13,8962 1,82471 13,8962C2.85798 13,8962 3,31675 13,2535 3,37575 11,9512V6,59 049Z \ "/ \ u003e \ u003cpath d = \" M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2,87869 0,822846 3,57676 1,87209 3,57676C2.90056 3,57676 3,7234 2,87869 3,7244 1,98811C1,700 = \ "# 1BB76E \" / \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e ",
contentPolicyHtml: „Uživatelské příspěvky licencovány pod \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (obsahové zásady) \ u003c / a \ u003e",
allowUrls: true
},
onDemand: pravda,
discardSelector: ".discard-answer"
, okamžitěShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Děkujeme, že jste přispěli odpovědí na přetečení zásobníku!
Nezapomeňte na otázku odpovědět. Uveďte podrobnosti a sdílejte svůj výzkum!
Ale vyhnout se ...
Žádáme o pomoc, vysvětlení nebo reagujeme na další odpovědi.
Vytváření prohlášení na základě názoru; podpořte je referencemi nebo osobními zkušenostmi.
Chcete-li se dozvědět více, přečtěte si naše tipy na psaní skvělých odpovědí.
Koncept uložen
Koncept zahozen
Zaregistrujte se nebo se přihlaste
StackExchange.ready (funkce () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Zaregistrujte se pomocí Google
Zaregistrujte se pomocí Facebooku
Zaregistrujte se pomocí e-mailu a hesla
Předložit
Zveřejněte jako host
název
E-mailem
Povinné, ale nikdy nezobrazené
StackExchange.ready (
funkce () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f5935133% 2fprolog-how-to-remove-every-second-element-of a a list% 23new-answer ',' question_page ');
}
);
Zveřejněte jako host
název
E-mailem
Povinné, ale nikdy nezobrazené
Zveřejněte svou odpověď
Vyřadit
Kliknutím na „Odeslat odpověď“ vyjadřujete souhlas s našimi podmínkami služby, zásadami ochrany osobních údajů a zásadami používání souborů cookie
Toto není odpověď, kterou hledáte? Projděte si další otázky se štítkem prolog seznamu nebo se zeptejte na vlastní otázku.